261. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
262. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
263. Formal methods: foundations and applications
Author: Jim Davies, Leila Silva, Adenilso Simao (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
B73
2011
264. Formal methods in standards :
Author: from the BCS working group ; ed. by C.L.N. Ruggles.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
S8
F766
1990
265. Foundation ActionScript for Flash 8 /
Author: Kristian Besley et al.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Flash (Computer file),Flash (Computer file),Flash (Computer file),ActionScript (Computer program language),ActionScript (Computer program language),ActionScript (Computer program language),Informatique.
Classification :
TR897
.
7
.
B55
2006eb
266. Foundation Expression Blend 3 with Silverlight /
Author: Victor Gaudioso.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microsoft Expression blend.,Silverlight (Electronic resource),Microsoft Expression blend.,Microsoft Expression blend.,Silverlight (Electronic resource),Silverlight (Electronic resource),Application software-- Development.,Graphical user interfaces (Computer systems),Internet programming.,Multimedia systems.,Web sites-- Authoring programs.,Web sites-- Design.,Application software-- Development.,Application software-- Development.,COMPUTERS-- Digital Media-- General.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Web-- Site Design.,COMPUTERS-- Web-- User Generated Content.,Graphical user interfaces (Computer systems),Graphical user interfaces (Computer systems),Informatique.,Internet programming.,Internet programming.,Multimedia systems.,Multimedia systems.,Web sites-- Authoring programs.,Web sites-- Authoring programs.,Web sites-- Design.,Web sites-- Design.
Classification :
TK5105
.
8883
.
G38
2009
267. Foundation form creation with Adobe LiveCycle Designer ES /
Author: Cheridan Smith.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Adobe LiveCycle Designer.,Adobe LiveCycle Designer.,Internet programming.,Web sites-- Design.,COMPUTERS-- Data Processing.,Informatique.,Internet programming.,Internet programming.,Web sites-- Design.,Web sites-- Design.
Classification :
TK5105
.
8885
.
A35
S65
2008eb
268. Foundations of Computational Linguistics :
Author: by Roland Hausser.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Information storage and retrieval systems.
Classification :
P98
.
B976
2001
269. Foundations of Java for ABAP programmers /
Author: Alistair Rooney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Java (Computer program language),Object-oriented programming (Computer science),Computer software-- Development.,Computer software-- Development.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Informatique.,Java (Computer program language),Java (Computer program language),Object-oriented programming (Computer science),Object-oriented programming (Computer science)
Classification :
QA76
.
73
.
J38
R665
2006eb
270. Foundations of Knowledge Base Management :
Author: edited by Joachim W. Schmidt, Constantino Thanos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Database management.
Classification :
QA76
.
9
.
D3
E358
1989
271. Foundations of Python Network Programming
Author: / Brandon Rhodes, John Goerzen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
272. Foundations of Python Network Programming
Author: / Brandon Rhodes, John Goerzen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
273. Foundations of SQL Server 2005 business intelligence /
Author: Lynn Langit.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: SQL server.,SQL server.,SQL server.,SQL server.,Business intelligence.,Client/server computing.,OLAP technology.,Relational databases.,Business intelligence.,Business intelligence.,Client/server computing.,Client/server computing.,COMPUTERS-- Programming Languages-- SQL.,Informatique.,OLAP technology.,OLAP technology.,Relational databases.,Relational databases.
Classification :
QA76
.
73
.
S67
L35
2007eb
274. Foundations of embedded systems /
Author: Alexander Barkalov, Larysa Titarenko and Małgorzata Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Embedded computer systems.
Classification :
TK7895
.
E42
275. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
276. From Point to Pixel:
Author: Hoy, Meredith Anne
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
277. From Russia with code :
Author: edited by Mario Biagioli and Vincent Antonin Lépinay.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Brain drain-- Russia (Federation),Computer software-- Development-- Social aspects-- Russia (Federation),Hacking-- Political aspects-- Russia (Federation),Hacking-- Social aspects-- Russia (Federation),Information technology-- Social aspects-- Russia (Federation),Brain drain.,Computer software-- Development-- Social aspects.,COMPUTERS / Social Aspects / General,Emigration and immigration.,Information technology-- Social aspects.,SOCIAL SCIENCE-- General.,Russia (Federation), Emigration and immigration.,Russia (Federation), 0, 7
Classification :
HM851
.
F75
2019
278. Frontier computing :
Author: Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
Classification :
QA75
.
5
279. Functional Programming-Steps in Scala : An Introduction to Object
Author: / Loverdos, Christos K. K.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
280. Functional Programming Using F
Author: / Hansen, Michael R.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
